641. Resolution Proof Systems :
پدیدآورنده : by Zbigniew Stachniak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
642. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
643. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
644. Rough Sets and Current Trends in Computing.
پدیدآورنده : Wojciech Ziarko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ebooks -- UML.
645. Rough sets :
پدیدآورنده : Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Rough sets, Congresses.,Rough sets.
رده :
QA248
646. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده : [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
647. Rough sets and knowledge technology :
پدیدآورنده : JingTao Yao [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Data mining, Congresses,Rough sets, Congresses,Soft computing, Congresses
رده :
QA76
.
9
.
S63
R75
2011
648. Scalable Uncertainty Management
پدیدآورنده : \ Christoph Beierle • Alex Dekhtyar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
رده :
Q
375
.
S8S28
2015
E-Book
,
649. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
650. Scalable uncertainty management :
پدیدآورنده : Salem Benferhat, John Grant, (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses,Artificial intelligence-- Congresses,Uncertainty (Information theory)-- Congresses
رده :
Q375
.
S86
2011
651. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
652. Similarity and Compatibility in Fuzzy Set Theory
پدیدآورنده : by Valerie V. Cross, Thomas A. Sudkamp.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).
653. Simulated Evolution and Learning.
پدیدآورنده : Bob McKay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
654. Simulated evolution and learning :
پدیدآورنده : Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
رده :
QA76
.
9
.
C65
S42
1996
655. Social Fuzziology
پدیدآورنده : by Vladimir Dimitrov, Bob Hodge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
656. Soft Computing
پدیدآورنده : by Andrea Tettamanzi, Marco Tomassini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.,Engineering.,Management information systems.,Physics.
657. Soft Computing for Image Processing
پدیدآورنده : edited by Sankar K. Pal, Ashish Ghosh, Malay K. Kundu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.,Management information systems.
658. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
659. Soft computing
پدیدآورنده : editors, Fred Aminzadeh, Mohammad Jamshidi
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Application software,Fuzzy systems,Neural networks (Computer science),Artificial intelligence,Soft computing
رده :
QA
,
76
.
76
,.
A65
,
S657
,
1994
